Näytetään tulokset 1 - 10 / 21080
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Conceptual intermediate structures for interaction design in complex safety-critical systems

Vertaisarvioitu
DOI
10.1007/978-981-13-5974-3_17
Kant, Vivek; Wahlström, Mikael
Smart Innovation, Systems and Technologies2019 Julkaisujen tiedon ikoni

Towards a Formal Approach to Analysing Security of Safety-Critical Systems

Vertaisarvioitu
DOI
10.1109/EDCC.2018.00040
Inna Vistbakka; Elena Troubitsyna
14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 20182018 Julkaisujen tiedon ikoni

Risk-informed optimization of mitigation strategies in safety-critical systems

Avoin saatavuus
Mancuso, Alessandro
Aalto University2020 Julkaisujen tiedon ikoni

Diversity requirements for safety critical software-based automation systems

Korhonen, Jukka; Pulkkinen, Urho; Haapanen, Pentti
STUK-YTO-TR1998 Julkaisujen tiedon ikoni

Methodologies Used in Computerized Decision Support Systems of Safety Critical Processes - Comparison to Finnish Industry

Vertaisarvioitu
Sirola, Miki
-2000 Julkaisujen tiedon ikoni

Reliability estimation of safety-critical software-based systems using bayesian networks

Avoin saatavuus
Helminen, Atte
STUK-YTO-TR2001 Julkaisujen tiedon ikoni

Computerized Decision Support Systems in Failure and Maintenance Management of Safety Critical Processes

Sirola, M.
-1999 Julkaisujen tiedon ikoni

Applicability of systems-theoretic methods in the safety assessment of autonomous port logistics

Heikkilä, Eetu; Tiusanen, Risto
The 28th Safety-Critical Systems Symposium 20202020 Julkaisujen tiedon ikoni

Combined use of formal methods for reliability assurance of software for safety-critical systems

Avoin saatavuus
Buzhinskii, Igor
Aalto University2019 Julkaisujen tiedon ikoni

Safety Analysis for Architecting Safety-Critical Systems

Vertaisarvioitu
Elena Troubitsyna
Proceedings of 30th International System Safety Conference2013

Conceptual intermediate structures for interaction design in complex safety-critical systems

Vertaisarvioitu
DOI
10.1007/978-981-13-5974-3_17
2019

Towards a Formal Approach to Analysing Security of Safety-Critical Systems

Vertaisarvioitu
DOI
10.1109/EDCC.2018.00040
2018

Risk-informed optimization of mitigation strategies in safety-critical systems

Avoin saatavuus
2020

Diversity requirements for safety critical software-based automation systems

1998

Methodologies Used in Computerized Decision Support Systems of Safety Critical Processes - Comparison to Finnish Industry

Vertaisarvioitu
2000

Reliability estimation of safety-critical software-based systems using bayesian networks

Avoin saatavuus
2001

Computerized Decision Support Systems in Failure and Maintenance Management of Safety Critical Processes

1999

Applicability of systems-theoretic methods in the safety assessment of autonomous port logistics

2020

Combined use of formal methods for reliability assurance of software for safety-critical systems

Avoin saatavuus
2019

Safety Analysis for Architecting Safety-Critical Systems

Vertaisarvioitu
2013